#ifndef WATCHDOG_THREAD_H
#define WATCHDOG_THREAD_H

#include <stdint.h>

void *watchdog_thread(void *arc);


#endif

